$\forall$$a$, $b$, $c$:$\mathbb{Z}$. (imax($a$;$b$) $\leq$ $c$) $\Leftarrow\!\Rightarrow$ \{($a$ $\leq$ $c$) \& ($b$ $\leq$ $c$)\}